1–20 von 55 Ergebnissen
|

    ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

    Freier Zugriff
    Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020

    ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

    Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020

    aeroBERT-NER: Named-Entity Recognition for Aerospace Requirements Engineering Using BERT

    Ray, Archana Tikayat / Pinon-Fischer, Olivia J. / Mavris, Dimitri N. et al. | TIBKAT | 2023

    Software : papers presented at the AIAA SciTech Forum and Exposition 2022 : San Diego, California, USA and online, 3-7 January 2022

    AIAA SciTech Forum and Exposition / American Institute of Aeronautics and Astronautics | TIBKAT | 2022

    Model-Based Systems Engineering for AI-Based Systems

    Sprockhoff, Jasper / Lukic, Bojan / Janson, Vincent et al. | TIBKAT | 2023

    An Open-Source Gazebo Plugin for GNSS Multipath Signal Emulation in Virtual Urban Canyons

    Pant, Kartik A. / Yang, Zhanpeng / Goppert, James M. et al. | TIBKAT | 2023

    Assessing the Use of UAS-Related Terms in ASRS Using Seed Topic Modeling

    Paradis, Carlos V. / Davies, Misty / Hooey, Becky | TIBKAT | 2023

    BEHAVIOR DRIVEN DEVELOPMENT FOR AIRBORNE SOFTWARE ENGINEERING

    Zaeske, Wanja / Durak, Umut / Torens, Christoph | TIBKAT | 2021

    Toward Design Assurance of Machine-Learning Airborne Systems

    Dmitriev, Konstantin / Schumann, Johann / Holzapfel, Florian | TIBKAT | 2022

    Machine Learning Verification and Safety for Unmanned Aircraft - A Literature Study

    Torens, Christoph / Juenger, Franz / Schirmer, Sebastian et al. | TIBKAT | 2022

    Space ROS: An Open-Source Framework for Space Robotics and Flight Software

    Probe, Austin / Oyake, Amalaye / Chambers, S. W. et al. | TIBKAT | 2023

    A Hierarchy of Monitoring Properties for Autonomous Systems

    Schirmer, Sebastian / Torens, Christoph / Dauer, Johann C. et al. | TIBKAT | 2023

    Model-Based CubeSat Flight-Software Architecture Using a Docs-As-Code Approach

    Marquez, Sean / Asundi, Sharan / Chiu, Kevin | TIBKAT | 2023

    Guidelines and Regulatory Framework for Machine Learning in Aviation

    Torens, Christoph / Durak, Umut / Dauer, Johann C. | TIBKAT | 2022

    Ensuring Safety of Machine Learning Components Using Operational Design Domain

    Torens, Christoph / Juenger, Franz / Schirmer, Sebastian et al. | TIBKAT | 2023

    GPU-Acceleration of Navier-Stokes Solvers for Compressible Wall-Bounded Flows: The Case of URANOS

    Vanna, Francesco De / Avanzi, Filippo / Cogo, Michele et al. | TIBKAT | 2023

    A Basilisk-Based Benchmark Analysis of Different Constrained Attitude Dynamics Planners

    Calaon, Riccardo / Trowbridge, Michael / Schaub, Hanspeter | TIBKAT | 2022